
class BASE
feature
     a : INTEGER
end

class DERIVED
inherit 
        Base
        rename a As BaseA
end

class DERIVED1
inherit
        DERIVED
create 
        make
feature
        make
        do
            current.BaseA:=5
        end
end


class APP
feature
        INIT
        local
             a : Derived1
        do
            !!a.make
            std_output.put_integer(a.basea)
        end
end